$\forall$$b$:$\mathbb{B}$. ($b$ = tt) $\Rightarrow$ ($b$ $\sim$ tt)